identity element is unique